perm filename SUMTIT[P,JRA] blob sn#486032 filedate 1979-10-24 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00003 ENDMK
CāŠ—;
.device xgp
.font 1 "metli";
.begin single space; select 1
.group skip 10
.center
Deriving Programs From Logic Specifications
.group skip 10
by
Ruth E. Davis
EECS Department
University of Santa Clara
Santa Clara, Ca 95053
.end